Bao đóng phản xạ S của quan hệ R trên tập X được định nghĩa như sau

S = R ∪ { ( x , x ) : x ∈ X } {\displaystyle S=R\cup \left\{(x,x):x\in X\right\}}

nghĩa là bao đóng phản xạ của R là hợp của R với quan hệ đơn vị của X.